Model-based testing
#テスト #単体テスト
https://en.wikipedia.org/wiki/Model-based_testing
テストスイートやテスト対象システム(SUT)をモデルから作成する手法
ブラックボックステストの一形態
例
@xstate/test
サイト内に添付してあるスライドから思想がよくわかる
Write Fewer Tests! From Automation to Autogeneration
koushisa.icon
形式手法やProperty-based testingと親和性がありそう